import java.io.IOException;
import java.io.RandomAccessFile;


public class Engine {

	public static void main(String[] args) throws IOException{
		System.out.println("HelloWorld");

		KeyGen kg = new KeyGen("data");
		kg.keyGen();

		MkChal mkChal = new MkChal(kg.getBlockNum());
		int [][] chal = mkChal.getChal();
		//GenProof
		GenProof genProof = new GenProof(kg.vIndex, kg.wIndex, kg.uIndex);
		
		genProof.genProof(chal, kg.getSigmaIndexArray(),"data");
		
		//VerifyProof
		VerifyProof verifyProof = new VerifyProof(kg.vIndex, kg.wIndex, kg.uIndex, genProof.getMiu(), genProof.getSigma(), genProof.getR(), chal);
		boolean result = verifyProof.verifyProof();

			System.out.print(result);
		
		
	}
}
